<?php /* Smarty version 2.6.26, created on 2011-05-24 16:17:26
         compiled from centerarea/solving.html */ ?>
<div class="problem">
	<div class="problemDescription">
		<p>Tekst:<br/>
		Argumendid:</p>
	</div>
	<div class="studentGuess"><p>
		Sisesta vastus:<br />
		<textarea rows="4" cols="50" name="entity" id = "entity"></textarea>
	</div>
	<div class="buttonPad">
		<button onclick="insertAtCursor('studentGuess','∀');" class="s11">∀</button>
		<button onclick="insertAtCursor('studentGuess','∃');" class="s11">∃</button>
		<button onclick="insertAtCursor('studentGuess','¬');" class="s11">¬</button>
		<button onclick="insertAtCursor('studentGuess','⊃');" class="s11">⊃</button>
		<button onclick="insertAtCursor('studentGuess','⋁');" class="s11">⋁</button>
		<button onclick="insertAtCursor('studentGuess','&');" class="s11">&</button>
	</div>
	
	<button onclick="checkAnswer();" class="answerButton">Vasta</button>
	

</div>